Propositional variable
美 [ˌprɑpəˈzɪʃən(ə)l ˈveriəbl]英 [ˌprɒpəˈzɪʃən(ə)l ˈveəriəbl]
- 网络命题变量
Propositional variable-
A renaming is a function mapping propositional variable to itself or its complement , a variable renaming is a permutation over the set of propositional variables of a formula , and a literal renaming is a combination of a renaming and a variable renaming .
改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。
热门查询
Proprioception
proprotein
propulsion control system
propyl
Propyl group
Propylamine
Propylene glycol alginate
Propylene oxide
ProQuest Digital Dissertations
prose poem
propositional forms
Propositional calculus
Proposal system
proposal solicitation
proportional sampling
proportional gain
proportion by alternation
proplastid
Propiverine
Propiophenone